A Survey on Linear Algebraic Approaches for the Analysis of Petri Net based Models
نویسندگان
چکیده
Petri net (PN) as a graphical and mathematical formalism has extensively been used for the modeling, control and analysis of discrete event systems and it has been recognized as flexible modeling technique because it is well suited for modeling the multifarious constraints. This paper focuses on the recent developments in the area of linear algebraic techniques for the PN models for systems. Theoretical developments in the area of PN based applications in the design and analysis of the systems with the practical experiences are discussed and further identified the research trends in this area. The transitive matrix and the transition vectors based applications are also overviewed for the first time in the literature.
منابع مشابه
Linear Algebraic Techniques for the Analysis of Petri Nets
One of the indigenous techniques for the analysis of Petri Net system models is based on its non-negative state equation, bridging convex goemetry and linear programming theories to the theory of Petri Nets. This invited survey brieey overviews some recent developments in the use of linear algebraic techniques for the qualitative (i.e., logical) and quantitative (i.e., performance) analysis of ...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کامل